R-base-recognize(i;ds;x;k;T;test)
== (@i x initially false:  @i only events in [k] change x:)
==  @i effect k(v:T)  x := s,v. if test(s,v) true else s(x) fi State(x :   ds) v  

latex

---

clarification:

R-base-recognize(i;ds;x;k;T;test)
== (@i x initially false:  @i only events in k.nil change x:)
==  @i 
==  @i effect k(v:T)
==  @i efx := s,v. if test(s,v) true else s(x) fi State(fpf-join(IdDeq;x : ;ds)) v  

latex

Definitions	left  right, @loc x initially v:T, false, @loc only events in L change x:T, car.cdr, nil, @loc effect knd(v:T)  x := f State(ds) v , f  g, IdDeq, x : v, , x.A(x), if b t else f fi, true, f(a)
FDL editor aliases	R-base-recognize